1. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
2. Interactive models of computation and program behavior
پدیدآورنده : Pierre-Louis Curien...]et al.[
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Computable functions,، Computational intelligence
رده :
QA
3
.
P3
No
.
27
3. The foundations of computability theory
پدیدآورنده : Robic, Borut, 0691-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Computer science -- Mathematics
رده :
QA
9
.
59
.
R62F6
4. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
5. Turing's revolution :
پدیدآورنده : Giovanni Sommaruga, Thomas Strahm, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
